-
1 calculus language
Автоматика: язык исчисления -
2 calculus language
English-Russian dictionary of mechanical engineering and automation > calculus language
-
3 predicate calculus language
Автоматика: язык исчисления предикатовУниверсальный англо-русский словарь > predicate calculus language
-
4 predicate calculus language
English-Russian dictionary of mechanical engineering and automation > predicate calculus language
-
5 language
1) язык || языковой2) машинный язык; набор символов ( машины)•- application-oriented language
- applicative language
- APT programming language
- APT-based language
- artificial language
- assembler language
- assembly language
- block diagram language
- calculus language
- classificatory indexing language
- command language
- communication-information language
- computer language
- context-free language
- context-sensitive language
- control language
- controlled language
- conversational programming language
- data definition language
- data description language
- data general language
- data general programming language
- data manipulation language
- data retrieval language
- data storage description language
- database control language
- database language
- database programming language
- definition language
- description indexing language
- description language
- descriptor indexing language
- DGL interpretative programming language
- documentary language
- domain-dependent language
- domain-independent language
- extended language
- extensible language
- formal language
- formalized language
- general-purpose language
- generic language
- geometry technology language
- global programming language
- graphics picture drawing language
- high-level language
- highly coded language
- hybrid language
- implementation language
- index retrieval language
- indexing language
- information language
- information processing language
- information retrieval language
- informational language
- information-algorithmic language
- interactive language
- interactive reader language
- intermediary language
- intermediate language
- interpretive language
- interrogation language
- ISO language
- job command language
- job control language
- language of science
- logical-information language
- machine control language
- machine language
- machinist's language
- manipulator-oriented language
- manufacturing application language
- meaning-representation language
- meta language
- native language
- natural language
- NC programming language
- numerical command language
- object description language
- object-oriented language
- operational performance analysis language
- plain language
- powerful programming language
- predicate calculus language
- predicate language
- predicate logic language
- problem-oriented language
- procedural language
- processing language
- process-oriented language
- production language
- production-rule language
- program language
- programming language
- query input language
- query language
- representation language
- retrieval language
- robotics language
- robot-programming language
- robot-specialized language
- rule-based programming language
- shop-oriented language
- Siman simulation language
- simulation language
- source language
- special interface programming language
- specification language
- state language
- structured query language
- switching language
- task description language
- task level language
- task-oriented language
- uncontrolled language
- very high level languageEnglish-Russian dictionary of mechanical engineering and automation > language
-
6 language
язык || языковой- action description language
- actual machine language
- agent programming language
- AI language
- Algol-like language
- algorithmical language
- algorithmic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assembly-output language
- assignment-free language
- behavioral language
- bidirectional language
- block-structured language
- Boolean-based language
- business definition language
- business-oriented language
- calculus-type language
- C-based language
- client-side language
- code language
- command language
- compiled language
- compiler language
- component definition language
- composite language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-programming language
- computer-sensitive language
- consensus language
- context-free language
- control language
- conversational language
- core language
- data definition language
- data description language
- data language
- data manipulation language
- data storage description language
- database language
- data-entry language
- data-flow language
- data-query language
- declarative language
- defining language
- descriptive language
- descriptor language
- design language
- device media control language
- direct execution language
- directly interpretable language
- Dyck language
- end-user language
- escape language
- evolutive language
- executive-control language
- executive language
- explicit language
- extensible language
- fabricated language
- finite state language
- flow language
- foreign language
- formalized language
- frame-based language
- freestanding language
- functional language
- generated language
- graphics language
- graph-oriented language
- hardware-description language
- hardware language
- higher-level language
- higher-order language
- host language
- human language
- human-oriented language
- human-readable language
- indexed language
- information retrieval language
- informational language
- information language
- inherently ambiguous language
- input language
- input/output language
- instruction language
- integrated language
- interactive language
- interim language
- intermediate language
- internal language
- interpreted language
- job control language
- job-oriented language
- knowledge representation language
- language pair
- letter-equivalent languages
- linear language
- linear-programming language
- list-processing language
- logic-type language
- low-level language
- machine language
- machine-dependent language
- machine-independent language
- machine-oriented language
- macroassembly language
- macro language
- macroinstruction language
- macroprogramming language
- man-to-computer language
- mathematical formular language
- memory management language
- mnemonic language
- modeling language
- native language
- natural language
- NC programming language
- nested language
- network-oriented language
- nonprocedural language
- numder language
- object language
- object modeling language
- object-oriented language
- one-dimensional language
- operator-oriented language
- original language
- page description language
- parallel language
- phrase structure language
- predicate language
- predicate logic-based language
- predicate logic language
- privacy language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- process control language
- production language
- program language
- programming language
- pseudo language
- pseudomachine language
- query language
- readable specification language
- reference language
- regular language
- relational language
- relational-type language
- representation language - requirements modeling language
- restricted language
- rule-based language
- ruly language
- schema language
- science-oriented language
- script language
- self-contained language
- semantic-formal language
- semiformal language
- sentential language
- serial language
- simulation language
- single-assignment language
- source language
- specialized language
- specification language
- stream-based language
- strict language
- structured programming language
- structured query language
- super language
- super-high-level language
- symbolic language
- symbolic programming language
- syntax language
- synthetic language
- system input language
- system language
- system-oriented language
- tabular language
- target language
- TC language
- time sharing language
- type-free language
- unified modeling language
- update language
- user language
- user-oriented language
- very-high-level languageEnglish-Russian dictionary of computer science and programming > language
-
7 calculus-type language
-
8 calculus-type language
Большой англо-русский и русско-английский словарь > calculus-type language
-
9 calculus-type language
Вычислительная техника: язык типа исчисленияУниверсальный англо-русский словарь > calculus-type language
-
10 calculus-type language
English-Russian dictionary of computer science and programming > calculus-type language
-
11 calculus-type language
English-Russian information technology > calculus-type language
-
12 язык типа исчисления
Большой англо-русский и русско-английский словарь > язык типа исчисления
-
13 COOL
1) Компьютерная техника: C Object Oriented Language, Chinese Object Oriented Language2) Шутливое выражение: Constipated Overall Overweighted Loser, Contrived Object Oriented Language3) Религия: Children Of Our Lord, Christ Ordering Our Lives, Christ Our Only Lord, Christ Over Our Lives, Christian Outreach Of Lutherans, Church On Our Level4) Юридический термин: Character Object Oriented Lessons, Crisis Over Outrageous Law5) Текстиль: Country Of Origin Label6) Университет: Calculus Offered On Line, Campus Outreach Opportunities League, Campus Outreach Opportunity League, Canberra's Own Outstanding List, College Opportunities On Line7) Вычислительная техника: Crocus Object-Oriented Layer, COBOL Object Orientated Language (OOP, COBOL)8) Деловая лексика: Commerce Opportunities On Line9) Образование: Community Of Online Learners, Comprehensive Object Oriented Learning, Cooperative Opportunity For Online Learning10) Общественная организация: Chapter Officers Optimizing Lead11) Должность: Career Options On Line, Construction Opportunities On Line12) Чат: Constipated Overweight Old Lady13) Правительство: Clerk's Office On Line14) Программное обеспечение: Ceres Object Oriented Library15) Библиотечное дело: Clear Ongoing Open Library16) Международная торговля: Country Of Origin Labeling -
14 cool
1) Компьютерная техника: C Object Oriented Language, Chinese Object Oriented Language2) Шутливое выражение: Constipated Overall Overweighted Loser, Contrived Object Oriented Language3) Религия: Children Of Our Lord, Christ Ordering Our Lives, Christ Our Only Lord, Christ Over Our Lives, Christian Outreach Of Lutherans, Church On Our Level4) Юридический термин: Character Object Oriented Lessons, Crisis Over Outrageous Law5) Текстиль: Country Of Origin Label6) Университет: Calculus Offered On Line, Campus Outreach Opportunities League, Campus Outreach Opportunity League, Canberra's Own Outstanding List, College Opportunities On Line7) Вычислительная техника: Crocus Object-Oriented Layer, COBOL Object Orientated Language (OOP, COBOL)8) Деловая лексика: Commerce Opportunities On Line9) Образование: Community Of Online Learners, Comprehensive Object Oriented Learning, Cooperative Opportunity For Online Learning10) Общественная организация: Chapter Officers Optimizing Lead11) Должность: Career Options On Line, Construction Opportunities On Line12) Чат: Constipated Overweight Old Lady13) Правительство: Clerk's Office On Line14) Программное обеспечение: Ceres Object Oriented Library15) Библиотечное дело: Clear Ongoing Open Library16) Международная торговля: Country Of Origin Labeling -
15 predicate
предикат, высказывание, утверждать
– predicate calculus
– predicate calculus machinery
– predicate logic language
– predicate symbol
– predicted result
-
16 Haskell
язык [функционального программирования] Haskellбазируется на лямбда-исчислении ( lambda calculus), поэтому греческая буква λ является его символом; поддерживает ленивые вычисления (lazy evaluation), полиморфизм типов и др. Назван в честь английского математика Хаскела Б. Карри (Haskell Brooks Curry), работы которого по математической логике стали основой для нового семейства языков функционального программирования. Первые версии Haskell были разработаны большой группой учёных в начале 1990-х годов. Наиболее полная реализация языка - Haskell 98.Haskell is not just a good 'teaching language'; it is a practical programming language, supported by having extensions such as interfaces to C functions and component-based programming, for example. - Haskell — не просто хороший "учебный язык"; это настоящий язык программирования, имеющий, в частности, такие средства поддержки и расширения, как интерфейс с функциями, написанными на Си, и возможности компонентно-ориентированного программирования см. тж. functional language, www. haskell. org
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > Haskell
-
17 operational
1. a относящийся к действию, работе; эксплуатационный2. a действующий3. a рабочий, работающий, в исправном состоянииoperational cycle — рабочий цикл; машинный цикл
4. a воен. оперативный, боевой5. a воен. состоящий на вооруженииoperational missile — ракета, находящаяся на вооружении, боевая ракета
operational label — маркировочная метка; маркировочный знак
6. a воен. мат. операционный, операторныйoperational unit — операционный блок; функциональный блок
-
18 sentential
1. a сентенциозный, нравоучительный2. a мат. относящийся к высказываниям
См. также в других словарях:
Calculus (disambiguation) — Calculus is Latin for pebble, and has a number of meanings in English: In mathematics and computer science Calculus , in its most general sense, is any method or system of calculation. To modern theoreticians the answer to the question what is a… … Wikipedia
Calculus of Broadcasting Systems — (CBS) is a CCS like calculus where processes speak one at a time and each is heard instantaneously by all others. Speech is autonomous, contention between speakers being resolved nondeterministically, but hearing only happens when someone else… … Wikipedia
Calculus ratiocinator — The Calculus Ratiocinator is a theoretical universal logical calculation framework, a concept described in the writings of Gottfried Leibniz, usually paired with his more frequently mentioned characteristica universalis , a universal conceptual… … Wikipedia
Calculus — This article is about the branch of mathematics. For other uses, see Calculus (disambiguation). Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus Derivative Change of variables … Wikipedia
Calculus of communicating systems — The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner in around 1980. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing… … Wikipedia
calculus — /kal kyeuh leuhs/, n., pl. calculi / luy /, calculuses. 1. Math. a method of calculation, esp. one of several highly systematic methods of treating problems by a special system of algebraic notations, as differential or integral calculus. 2.… … Universalium
Language of thought — Jerry A. Fodor s Language of Thought (LOT) hypothesis states that cognition and cognitive processes are only remotely plausible when expressed as computational in terms of representational systems. He uses empirical data drawn from linguistics… … Wikipedia
Language of thought hypothesis — In philosophy of mind, the language of thought hypothesis (LOTH) put forward by American philosopher Jerry Fodor describes thoughts as represented in a language (sometimes known as mentalese) that allows complex thoughts to be built up by… … Wikipedia
Calculus on Manifolds (book) — Michael Spivak s Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus (1965, ISBN 0 8053 9021 9) is a short text treating analysis in several variables in Euclidean spaces and on differentiable manifolds. The… … Wikipedia
Language of mathematics — The language of mathematics is the system used by mathematicians to communicate mathematical ideas among themselves. This language consists of a substrate of some natural language (for example English) using technical terms and grammatical… … Wikipedia
Calculus of variations — Variation Va ri*a tion, n. [OE. variatioun, F. variation, L. variatio. See {Vary}.] [1913 Webster] 1. The act of varying; a partial change in the form, position, state, or qualities of a thing; modification; alternation; mutation; diversity;… … The Collaborative International Dictionary of English
